Logical Fibering and Knowledge Bases
نویسندگان
چکیده
ion Based Information Technology is a way of understanding knowledge, interaction and control in many different domains. It explicitly covers humanities in this sense whereas the approaches mentioned above remained much more on a purely mathematical and/or computational side for better control and easier modeling. The concept “ABIT” (Abstraction Based Information Technology) proposed in (Calmet, 2009) consists of: A theory, which represents a set of rules and findings over the domain; Control mechanisms on the theory, which result in its application in real life and successful interaction. These mechanisms refer to the decision making process. The environment, which is the main setting around the domain, defining external influences. As said, ABIT is valid for any field in science or humanities. In table 1 below we give some examples of classification from the fields of law, philosophy, sociology, business and culture: Table 1. Abstract definition in different domains. Law Philosophy Sociology Business Culture Theory Set of laws Set of basic
منابع مشابه
On Logical Fiberings and Automated Deduction in Many-valued Logics Using Gröbner Bases
The concept of logical fiberings is briefly summarized. Based on experiences with concrete examples an algorithmic approach is developed which leads to a represention of a many-valued logic as a logical fibering. The Stone isomorphism for expressing classical logical operations by corresponding polynomials can be extended to m-valued logics. On the basis of this, a classical deduction problem c...
متن کاملDenial of Service Prevention through Logical Fibering
We propose a logic-based method to protect network nodes or web sites from Denial of Service (DoS) attacks. This method is based upon Logical Fibering. Queries to the node are stored inside the fiber and decisions whether a new query should be accepted or not are taken on an empirical basis. The respective base space consists of the incoming information whereas the fiber itself describes the un...
متن کاملA Fibering Map Approach to a Semilinear Elliptic Boundary Value Problem
We prove the existence of at least two positive solutions for the semilinear elliptic boundary-value problem −∆u(x) = λa(x)u + b(x)u for x ∈ Ω; u(x) = 0 for x ∈ ∂Ω on a bounded region Ω by using the Nehari manifold and the fibering maps associated with the Euler functional for the problem. We show how knowledge of the fibering maps for the problem leads to very easy existence proofs.
متن کاملA Logical Approach for Preserving Confidentiality in Shared Knowledge Bases
The control of interconnection mechanisms in shared knowledge bases is important to ensure that sensitive information is not extracted in an inappropriate way from connected bases. Our goal is to propose a logical model to specify mechanisms for query control, reasoning and evolution of knowledge bases and their corresponding ontologies, ensuring the confidentiality of information whenever appr...
متن کاملInformation Sharing and Knowledge Merging in Cooperative Information Systems
Information sharing is the key issue in cooperative information systems. This issue is studied from a logical point of views in this paper. It is assumed that information in each component system is stored in a knowledge base expressed by a set of logical sentences. A formal method for merging multiple knowledge bases that might connict each other is presented. The method has a number of intere...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- IJCSA
دوره 9 شماره
صفحات -
تاریخ انتشار 2012